Automated Reasoning with Analytic Tableaux and Related Methods - 26th International Conference, TABLEAUX 2017, Brasília, Brazil, September 25–28, 2017, Proceedings

Författare
(Edited by Renate A. Schmidt, Cláudia Nalon.)
Språk
Engelska
Förlag År Ort Om boken ISBN
Springer International Publishing, Imprint: Springer 2017 Tyskland, Cham XII, 381 sidor. 75 illus. online resource. 978-3-319-66902-1